Normalisation by evaluation - PDFSEARCH.IO - Document Search Engine

Normalisation by evaluation
Results: 38

#	Item
31	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
32	Computational lambda-calculus and monads Eugenio Moggi∗ Lab. for Found. of Comp. Sci. Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:30:25 Mathematics Monad Symbol Kleisli category Lambda calculus Denotational semantics Normalisation by evaluation Adjoint functors Theoretical computer science Applied mathematics
33	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 08:03:39 Mathematics Deduction Natural deduction Normalisation by evaluation Curry–Howard correspondence Model theory Lambda calculus Orbifold Holomorphic functional calculus Theoretical computer science Mathematical logic Proof theory
34	Author manuscript, published in "Lecture notes in computer science (2011)" DOI : [removed][removed]9_26 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2011-12-12 09:47:02 Lambda calculus Computability theory Theoretical computer science ATS Envelope Monad Caml Normalisation by evaluation Combinatory logic Software engineering Mathematics Computing
35	ZU064-05-FPR arrows Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-09-16 05:19:11 Computability theory Lambda calculus Arrow Quiver Function Natural deduction Normalisation by evaluation Mathematics Mathematical logic Theoretical computer science
36	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic
37	Habilitationsschrift Normalization by Evaluation Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-02-05 11:53:37 Lambda calculus Mathematical logic Logic in computer science Dependently typed programming Theory of computation Normalisation by evaluation Simply typed lambda calculus Typed lambda calculus Dependent type Type theory Programming language theory Theoretical computer science
38	DRAFT New Equations for Neutral Terms Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2013-07-04 11:01:23 Applied mathematics Symbol Natural deduction Normalisation by evaluation Lambda calculus Orbifold World glyph set Mathematical logic Theoretical computer science Proof theory

UPDATE